2081. The design of innovation
پدیدآورنده : / by David E. Goldberg
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Genetic algorithms.,Evolutionary programming (Computer science)
رده :
QA
,
402
.
5
,.
G633
,
2002
2082. The golden ticket :
پدیدآورنده : Lance Fortnow.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer programming-- Algorithms.,Mathematics-- History and philosophy.,Mathematics-- Linear programming.,Mathematics-- Mathematical analysis.,NP-complete problems.
2083. The logic of adaptive behavior
پدیدآورنده : Martijn van Otterlo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Adaptive control systems.,Computer algorithms.,Decision making-- Mathematical models.,Sequential analysis.,Uncertainty (Information theory)
2084. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
2085. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
2086. The multilevel fast multipole algorithm (MLFMA) for solving large-scale computational electromagnetics problems /
پدیدآورنده : Özgür Ergül, Levent Gürel ; IEEE Antennas and Propagation Society, sponsor
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms,Electromagnetism-- Computer simulation,Electromagnetism-- Data processing
رده :
QC760
.
54
2087. The science of computing : exploring the nature and power of algorithms
پدیدآورنده : Harel, David, 0591-
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic data processing,، Computer algorithms
2088. The second Aizu International Symposium on Parallel Algorithms / Architecture Synthesis : proceedings, March 17-21, 1997, Aizu-Wakamatsu, Fukushima, Japan
پدیدآورنده : sponsored by the University of Aizu; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture ... ]et al.[ ; editors, Nikolay Mirenkov ... ]et al.[
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Parallel algorithms - Congresses , Parallel programming )Computer science( - Congresses
رده :
QA
76
.
642
.
A43
1997
2089. The theory of evolution strategies
پدیدآورنده : Hans-Georg Beyer
موضوع : Evolutionary programming (Computer science),Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2090. The theory of evolution strategies
پدیدآورنده : by Hans-Georg Beyer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Evolutionary programming (Computer science)
2091. The top ten algorithms in data mining
پدیدآورنده : / edited by Xindong Wu, Vipin Kumar
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Data mining.,Computer algorithms.
رده :
QA76
.
9
.
D343
,
T66
2009
2092. The top ten algorithms in data mining
پدیدآورنده : edited by Xindong Wu, Vipin Kumar
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Data mining,، Computer algorithms
رده :
QA
76
.
9
.
D343
T66
2009
2093. The top ten algorithms in data mining
پدیدآورنده : edited by Xindong Wu, Vipin Kumar
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Data mining,Computer algorithms
رده :
QA
.
D343
,
T66
76
.
9
2009
2094. The top ten algorithms in data mining
پدیدآورنده : / edited by Xindong Wu, Vipin Kumar
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Data mining.,Computer algorithms.
رده :
QA
,
76
.
9
,.
D343
,
T66
,
2009
2095. The top ten algorithms in data mining
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Data mining. ; Computer algorithms. ;
2096. Theory and Applications of Satisfiability Testing – SAT 2015
پدیدآورنده : \ Marijn Heule , Sean Weaver (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer algorithms -- Congresses.,Computer software -- Verification -- Congresses,Computer algorithms.,الگوریتم‌های کامپیوتری -- کنگره ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها ,الگوریتم‌های کامپیوتری
رده :
QA
76
.
9
.
A43
2015
E-Book
,
2097. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده : Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
2098. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
پدیدآورنده : Armin Biere, Carla P. Gomes )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
4121
2099. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
پدیدآورنده : Fahiem Bacchus, Toby Walsh )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
2100. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
پدیدآورنده : Holger H. Hoos, David G. Mitchell )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
رده :
QA
76
.
L28
Vol
.
3542
